msg-spec1(k; l; tg; n; s,v.f(s;v))
== fpf-single(<k, l>; cons(<tg, n, s,v. cons(f(s;v); [])>; [])) 

latex

Definitions	fpf-single(x; v), <a, b>, x.A(x), cons(car; cdr), []
FDL editor aliases	msg-spec1